MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:51:48 GMT
Content-Type: text/html
Content-Length: 29866
Last-Modified: Monday, 18-Nov-96 16:22:47 GMT

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
   <TITLE>Papers on Qualitative Reasoning </TITLE>
   <META NAME="GENERATOR" CONTENT="Mozilla/3.0Gold (X11; I; SunOS 5.5 sun4m) [Netscape]">
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000">

<P><!-- Changed by: Benjamin J. Kuipers, 29-Jul-1996 --></P>

<H1>Papers on Qualitative Reasoning </H1>

<UL>
<LI><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="#Overviews">Overviews </A></LI>

<UL>
<LI><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="#Bibliographies">Bibliographies </A></LI>
</UL>

<LI><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="#QSIM-papers">Qualitative simulation </A></LI>

<UL>
<LI><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="#Basic">The basic idea </A></LI>

<LI><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="#Protocol">Protocol analysis </A></LI>

<LI><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="#Tractable">Methods for tractable simulation </A></LI>

<LI><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="#TeQSIM">Trajectory constraints for QSIM (TeQSIM)</A> </LI>

<LI><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="#TSA">Time-scale abstraction </A></LI>

<LI><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="#Phase-Space">Qualitative phase space </A></LI>

<LI><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="#Compare">Comparative analysis </A></LI>
</UL>

<LI><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="#Semi-Quant">Semi-quantitative reasoning </A></LI>

<UL>
<LI><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="#Q2">Q2 </A></LI>

<LI><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="#Q3">Q3 </A></LI>

<LI><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="#NSIM">NSIM </A></LI>
</UL>

<LI><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="#TL">QSIM and temporal logic model-checking</A> </LI>

<LI><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="#Models">Building qualitative models </A></LI>

<UL>
<LI><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF="#CC">CC </A></LI>

<LI><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="#QPC">QPC </A></LI>

<LI><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="#MISQ">MISQ </A></LI>
</UL>

<LI><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="#QR-apps">Applying qualitative reasoning </A></LI>

<UL>
<LI><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><A HREF="#MIMIC">Monitoring continuous systems: MIMIC</A>. </LI>

<LI><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="#DX">Diagnosis of continuous systems</A>. </LI>

<LI><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><A HREF="#SS-RCS">Space Shuttle Reaction Control System</A>. </LI>

<LI><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="#Teleology">Design, purpose, and teleological reasoning</A>.
</LI>

<LI><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><A HREF="#Spatial+Dynamic">Integrating spatial and dynamic reasoning</A>.
</LI>

<LI><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="#HC">Heterogeneous control</A>. </LI>
</UL>
</UL>

<P>
<HR></P>

<H2><A NAME="Overviews"></A>Overviews </H2>

<P><B>The QR book</B> is now the definitive presentation of the QSIM approach
to qualitative reasoning. The papers it supercedes are indicated below.
</P>

<UL>
<LI>B. J. Kuipers. 1994. <B><I><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">Qualitative Reasoning:
Modeling and Simulation with Incomplete Knowledge</A></I></B>. Cambridge,
MA: MIT Press. </LI>
</UL>

<P>The two AIJ papers are from a special retrospective issue, reflecting
on the status of research in this area. </P>

<UL>
<LI>B. J. Kuipers. <B><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-93a.ps.Z">Reasoning
with qualitative models.</A></B> 1993. <I>Artificial Intelligence</I> 59:
125-132. </LI>

<LI>B. J. Kuipers. <B><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-93b.ps.Z">Qualitative
simulation: then and now.</A></B> 1993. <I>Artificial Intelligence</I>
59: 133-140. </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="Bibliographies"></A>Bibliographies </H3>

<UL>
<LI>A <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/qsim-papers.ps.Z">complete
bibliography</A> of QSIM papers. (as of 12-94) </LI>
</UL>

<P>
<HR></P>

<H2><A NAME="QSIM-papers"></A>Qualitative Simulation </H2>

<P>
<HR></P>

<H3><A NAME="Basic"></A>The Basic Idea </H3>

<UL>
<LI>B. J. Kuipers. 1984. <B>Commonsense reasoning about causality: deriving
behavior from structure.</B> <I>Artificial Intelligence</I> 24: 169-203.
</LI>

<P>Reprinted in D. G. Bobrow (Ed.), <I>Qualitative Reasoning about Physical
Systems.</I> New York: North-Holland, 1984. Paperback publication by MIT
Press, Cambridge, MA, 1985. </P>

<LI>B. J. Kuipers. 1986. <B><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-86.ps.Z">Qualitative
Simulation.</A></B> <I>Artificial Intelligence</I> 29: 289 - 338, 1986.
<BR>
(The ftp copy is missing five figures.) </LI>

<P>Reprinted in D. S. Weld &amp; J. de Kleer (Eds.), <I>Readings in Qualitative
Reasoning about Physical Systems,</I> Los Altos, CA: Morgan Kaufmann, 1990.
</P>

<P>[Superceded by <!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapters 3, 4, 5.]
</P>
</UL>

<P>Each of these papers was among the top 25 most-cited papers in the first
50 volumes of the <I>Artificial Intelligence Journal</I>, hence the two
AIJ 1993 retrospectives. </P>

<P>
<HR></P>

<H3><A NAME="Protocol"></A>Protocol Analysis </H3>

<UL>
<LI>B. J. Kuipers and J. P. Kassirer. 1984. <B><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Kassirer-cogsci-84.ps.Z">Causal
reasoning in medicine: analysis of a protocol.</A></B> <I>Cognitive Science</I>
8: 363-385. </LI>

<P>Reprinted in A. Kidd (Ed.), <I>Knowledge Acquisition for Expert Systems</I>,
New York: Plenum, 1987. </P>

<LI>B. J. Kuipers, A. J. Moskowitz, and J. P. Kassirer. 1988. <B><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Moskowitz+Kassirer-cogsci-88.ps.Z">Critical
Decisions Under Uncertainty: Representation and Structure</A></B>. <I>Cognitive
Science</I> <B>12</B>: 177-210, 1988. </LI>

<P>Reprinted in G. Shafer and J. Pearl (Eds.), <I>Readings in Uncertain
Reasoning</I>, San Mateo, CA: Morgan Kaufmann Publishers, 1990. </P>
</UL>

<P>
<HR></P>

<H3><A NAME="Tractable"></A>Methods for Tractable Simulation </H3>

<UL>
<LI>B. J. Kuipers, C. Chiu, D. T. Dalle Molle &amp; D. R. Throop. 1991.
<B><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Chiu+DalleMolle+Throop-AIJ-91.ps.Z">Higher-order
derivative constraints in qualitative simulation.</A></B> <I>Artificial
Intelligence</I> 51: 343-379. </LI>

<P>[Superceded by <!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 10.] </P>

<LI>Clancy, Daniel J. and Kuipers, Benjamin J. <B><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Clancy+Kuipers-QR93.ps.Z">Behavior
abstraction for tractable simulation. </A></B><I>Proceedings from the Seventh
International Workshop on Qualitative Reasoning,</I> May 1993.</LI>

<P>Describes two techniques for reducing intractable branching in qualitative
simulations. Chatter box abstraction eliminates chatter by performing a
focused envisionment while Behavior Aggregation eliminations event occurrence
branching. </P>

<LI>D. Clancy and B. Kuipers. 1994. <B><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Clancy+Kuipers-QR94.ps.Z">Model
decomposition and simulation. </A></B>In <I>Working Papers of the Eighth
International Workshop on Qualitative Reasoning about Physical Systems
(QR-94)</I>, Nara, Japan. </LI>

<P>Describes a simulation technique that uses a cross between a state-based
representation and a history-based representation. Models are decomposed
into components and then each component is simulated separately. Temporal
correlations between variables within different components is eliminated
thus reducing many irrelevant distinctions within the behavioral description.
</P>

<LI>Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers. 1996.
<B><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Mallory+Porter+Kuipers-QR96.ps.Z">Comprehending
complex behavior graphs through abstraction</A></B>. In <I>Working Papers
of the Tenth International Workshop on Qualitative Reasoning (QR-96)</I>,
Fallen Leaf Lake, California. </LI>

<LI>Lance Tokuda. 1996. <B><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Tokuda-aaai-96.ps.Z">Managing
occurrence branching in qualitative simulation.</A></B> In <I>Proceedings
of the National Conference on Artificial Intelligence (AAAI-96),</I> AAAI/MIT
Press, 1996. </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="TeQSIM"></A>Trajectory Constraints for QSIM </H3>

<UL>
<LI>Pierre Fouche &amp; Benjamin Kuipers. 1992. <B>Reasoning about energy
in qualitative simulation.</B> <I>IEEE Transactions on Systems, Man, and
Cybernetics</I> 22(1): 47-63. </LI>

<P>[Superceded by <!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 11.] </P>

<LI>TeQSIM Papers (contact clancy@cs.utexas.edu or giorgio@dimi.uniud.it
if you have any questions)</LI>

<UL>
<P><B>Published:</B></P>

<P>Note: The QR96 paper is the most comprehensive reference describing
the use of TeQSIM to address specific tasks. The manuscript &quot;Focusing
qualitative simulation using temporal logic&quot; is an extension of the
paper published in TIME-96. This paper provides a detailed description
of the syntax and semantics of the temporal logic along with a formal description
of the model checking algorithm with soundness and completeness theorms.</P>

<LI>Giorgio Brajnik and Daniel J. Clancy. 1996. <B><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-TIME96.ps.Z">Guiding
and refining simulation using temporal logic. </A></B><I>Third International
Workshop on Temporal Representation and Reasoning (TIME'96),</I> 1996.</LI>

<P><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</A> </P>

<LI>Giorgio Brajnik and Daniel J. Clancy. 1996. <B><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-QR96.ps.Z">Temporal
constraints on trajectories in qualitative simulation</A></B>. In <I>Working
Papers of the Tenth International Workshop on Qualitative Reasoning (QR-96)</I>,
Fallen Leaf Lake, California. </LI>

<P><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</A> </P>

<LI>Giorgio Brajnik and Daniel J. Clancy. 1996. <B><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-AAAI96.ps.Z">Temporal
constraints on trajectories in qualitative simulation</A></B>. In <I>Proceedings
of the National Conference on Artificial Intelligence (AAAI-96),</I> AAAI/MIT
Press, 1996. </LI>

<P><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</A> </P>

<P><B>Manuscripts:</B></P>

<LI>Giorgio Brajnik and Daniel J. Clancy. 1997. <!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-HART97-sub.ps.Z">Control
of Hybrid Systems using Qualitative Simulation</A> . Submitted for publication
to International Workshop on Hybrid and Real-Time Systems (HART-97).</LI>

<P><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><A HREF="http://www.cs.utexas.edu/stage/net/www/users/qr/abstracts-tl.html">[Abstract]</A> </P>

<LI>Giorgio Brajnik and Daniel J. Clancy. 1997. <!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Brajnik+Clancy-AMAI96-sub.ps.Z">Focusing
qualitative simulation using temporal logic:Theoretical Foundations</A>
Submitted for publication to the Annals of Mathematics and Artificial Intelligence.</LI>

<P><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><A HREF="http://www.cs.utexas.edu/stage/net/www/users/qr/abstracts-tl.html">[Abstract]</A> </P>
</UL>
</UL>

<P>
<HR></P>

<H3><A NAME="TSA"></A>Time-Scale Abstraction </H3>

<UL>
<LI>B. J. Kuipers. 1987. <B><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-jaie-88.ps.Z">Abstraction
by time-scale in qualitative simulation</A></B>. In <I>Proceedings of the
National Conference on Artificial Intelligence (AAAI-87).</I> Los Altos,
CA: Morgan Kaufman. <BR>
(The ftp copy is missing two figures.) </LI>

<P>Reprinted in D. S. Weld &amp; J. de Kleer (Eds.), <I>Readings in Qualitative
Reasoning about Physical Systems,</I> Los Altos, CA: Morgan Kaufmann, 1990.
</P>

<P>[Superceded by <!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 12.] </P>

<LI>Jeff Rickel and Bruce Porter. 1994. <B><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel+Porter-AAAI94.ps.Z">Automated
modeling for answering prediction questions: selecting the time scale and
system boundary.</A></B> In <I>Proceedings of the National Conference on
Artificial Intelligence (AAAI-94),</I> AAAI/MIT Press, 1994. </LI>

<LI>Jeff W. Rickel. 1995. <B><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel-PhD-95.ps.Z">Automated
modeling of complex systems to answer prediction questions.</A></B> Doctoral
dissertation, Department of Computer Sciences, The University of Texas
at Austin. </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="Phase-Space"></A>Qualitative Phase Space </H3>

<UL>
<LI>W. W. Lee &amp; B. J. Kuipers. 1988. <B><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee+Kuipers-AAAI93.ps.Z">Non-intersection
of trajectories in qualitative phase space: a global constraint for qualitative
simulation.</A></B> In <I>Proceedings of the National Conference on Artificial
Intelligence (AAAI-88).</I> Los Altos, CA: Morgan Kaufmann, 1988. </LI>

<P>Reprinted in D. S. Weld &amp; J. de Kleer (Eds.), <I>Readings in Qualitative
Reasoning about Physical Systems,</I> Los Altos, CA: Morgan Kaufmann, 1990.
</P>

<P>[Superceded by <!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 11.] </P>

<LI>W. W. Lee &amp; B. Kuipers. 1993. <B><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee+Kuipers-AAAI93.ps.Z">A
qualitative method to construct phase portraits.</A></B> <I>Proceedings
of the National Conference on Artificial Intelligence (AAAI-93),</I> AAAI/MIT
Press, 1993.</LI>

<P>[Superceded by <!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 11.] </P>

<P>(<!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee+Kuipers-AAAI93-fig1.ps.Z">
Figure 1</A>, <!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee+Kuipers-AAAI93-fig2a.ps.Z">Figure
2a</A>, and <!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee+Kuipers-AAAI93-fig2b.ps.Z">Figure
2b</A> were not incorporated into the PostScript file for this paper, so
they appear in auxiliary files.) </P>
</UL>

<P>
<HR></P>

<H3><A NAME="#Compare"></A>Comparative Analysis </H3>

<UL>
<LI>C. Chiu &amp; B. J. Kuipers. 1992. <B><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Chiu+Kuipers-raqp-92.ps.Z">Comparative
analysis and qualitative integral representations.</A></B> In Boi Faltings
and Peter Struss (Eds.), <I>Recent Advances in Qualitative Physics,</I>
MIT Press, 1992. </LI>
</UL>

<P>
<HR></P>

<H2><A NAME="Semi-Quant"></A>Semi-Quantitative Reasoning </H2>

<P>
<HR></P>

<H3><A NAME="Q2"></A>Q2 </H3>

<UL>
<LI>B. J. Kuipers &amp; D. Berleant. 1988. <B>Using incomplete quantitative
knowledge in qualitative reasoning.</B> In <I>Proceedings of the National
Conference on Artificial Intelligence (AAAI-88).</I> Los Altos, CA: Morgan
Kaufman, 1988. </LI>

<P>[Superceded by <!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 9.] </P>
</UL>

<P>
<HR></P>

<H3><A NAME="Q3"></A>Q3 </H3>

<UL>
<LI>J. Daniel Berleant. 1991. <B><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Berleant-PhD-91.ps.Z">The
use of partial quantitative knowledge with qualitative reasoning.</A></B>
University of Texas at Austin, Artificial Intelligence Laboratory, Technical
Report AI 91-163. (Doctoral dissertation, Department of Computer Sciences.)
</LI>  <p>

<LI>D. Berleant &amp; B. Kuipers. 1992. <B><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Berleant+Kuipers-raqp-92.ps.Z">Qualitative-numeric
simulation with Q3.</A></B> In Boi Faltings and Peter Struss (Eds.), <I>Recent
Advances in Qualitative Physics,</I> MIT Press, 1992. <BR>
(The ftp file is missing several figures.) </LI>  <p>
</UL>

<P>
<HR></P>

<H3><A NAME="NSIM"></A>NSIM and SQSIM </H3>

<UL>
<LI>H. Kay &amp; B. Kuipers. 1993. <B><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay+Kuipers-AAAI93.ps.Z">Numerical
behavior envelopes for qualitative simulation.</A></B> <I>Proceedings of
the National Conference on Artificial Intelligence (AAAI-93),</I> AAAI/MIT
Press, 1993. </LI>  <p>

<LI>H. Kay &amp; L. H. Ungar. 1993. <B><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay+Ungar-QR93.ps.Z">Deriving
monotonic function envelopes from observations.</A></B> In <I>Working Papers
of the Seventh International Workshop on Qualitative Reasoning about Physical
Systems (QR'93),</I> Orcas Island, Washington. </LI>  <p>

<LI>Herbert Kay. 1996. <B><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-tr-ai96-247.ps.Z">SQsim:
a simulator for imprecise ODE models</A></B>. University of Texas Artificial
Intelligence Laboratory TR AI96-247, March 1996. <BR>
<!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-qr.html#SQSIM">[Abstract]</A> </LI>  <p>

<li>  Herbert Kay.  1996.  
<!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-PhD-96.ps.Z">
<B>Refining Imprecise Models and Their Behaviors</B></a>.
Doctoral dissertation, Department of Computer Sciences, The University of Texas
at Austin, December 1996. <BR>
<!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><A HREF="http://www.cs.utexas.edu/users/qr/abstracts.html#Kay">[Abstract]</A> </LI>  <p>


</UL>

<P>
<HR></P>

<H2><A NAME="TL"></A>QSIM and Temporal Logic Model-Checking </H2>

<P>This body of work treats the behavior graph output by QSIM as a temporal
model, and applies a model-checking algorithm to prove statements in temporal
logic. </P>

<UL>
<LI>B. J. Kuipers and B. Shults. 1994. <B><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Shults-KR94.ps.Z">Reasoning
in logic about continuous systems.</A></B> In J. Doyle, E. Sandewall, and
P. Torasso, editors, <I>Principles of Knowledge Representation and Reasoning:
Proceedings of the Fourth International Conference (KR94)</I>, Morgan Kaufmann,
San Mateo, CA. <BR>
<!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</A><p>

<LI>Benjamin Shults. 1996. <B><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Shults-tr-AI96-245.ps.Z">Toward
a reformalization of QSIM</A></B>. University of Texas Artificial Intelligence
Laboratory TR AI96-245, January 1996. <BR>
<!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</A><p>

<LI>Benjamin Shults and Benjamin Kuipers. 1997. <B><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><A
HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Shults+Kuipers-aij-97.ps.Z">
Proving properties of continuous systems: qualitative simulation and
temporal logic</A></B>.  
<cite>Artificial Intelligence Journal</cite>, 1997.  <br>
<!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><!WA77><A HREF="http://www.cs.utexas.edu/users/qr/abstracts-tl.html">[Abstract]</A><p>

</UL>

<P>
<HR></P>

<H2><A NAME="Models"></A>Building Qualitative Models 
<HR></H2>

<H3><A NAME="CC"></A>CC </H3>

<UL>
<LI>David W. Franke and Daniel Dvorak. 1989. <B>Component-connection models.</B>
Model-Based Reasoning Workshop, IJCAI-89, Detroit, Michigan, August 1989.
</LI>

<P>[Superceded by <!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><!WA78><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 13.] </P>
</UL>

<P>
<HR></P>

<H3><A NAME="QPC"></A>QPC </H3>

<UL>
<LI>J. M. Crawford, A. Farquhar, B. J. Kuipers. 1990. <B><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><!WA79><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Crawford+Farquhar+Kuipers-AAAI90.ps.Z">QPC:
a compiler from physical models into qualitative differential equations.</A></B>
<I>Proceedings of the National Conference on Artificial Intelligence (AAAI-90),</I>
AAAI/MIT Press, 1990. </LI>

<P>Revised version in Boi Faltings and Peter Struss (Eds.), <I>Recent Advances
in Qualitative Physics</I>, MIT Press, 1992. </P>

<P>[Superceded by <!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><!WA80><A HREF="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</A>, chapter 14.] </P>

<LI>Adam Farquhar. 1993. <B><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><!WA81><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Farquhar-PhD-93.ps.Z">Automated
modeling of physical systems in the presence of incomplete knowledge.</A></B>
University of Texas at Austin, Artificial Intelligence Laboratory, Technical
Report AI 93-207. (Doctoral dissertation, Department of Computer Sciences.)
</LI>

<LI>Adam Farquhar. 1994. <B><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><!WA82><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Farquhar-AAAI94.ps.Z">A
qualitative physics compiler.</A></B> In <I>Proceedings of the National
Conference on Artificial Intelligence (AAAI-94),</I> AAAI/MIT Press, 1994.
</LI>

<LI>Adam Farquhar and Giorgio Brajnik. 1994. <B><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Farquhar+Brajnik-QR94.ps.Z">A
semi-quantitative physics compiler.</A></B> In <I>Working Papers of the
International Workshop on Qualitative Reasoning (QR-94),</I> 1994. </LI>

<LI>B. Falkenhainer, A. Farquhar, D. Bobrow, R. Fikes, K. Forbus, T. Gruber,
Y. Iwasaki, and B. Kuipers. 1994. <B><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><A HREF="http://www-ksl.stanford.edu/htw/dme/thermal-kb-tour/cml.ps">CML:
A Compositional Modeling Language</A></B>. Stanford University, Technical
Report KSL-94-16. </LI>

<LI>Jeff Rickel and Bruce Porter. 1994. <B><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel+Porter-AAAI94.ps.Z">Automated
modeling for answering prediction questions: selecting the time scale and
system boundary.</A></B> In <I>Proceedings of the National Conference on
Artificial Intelligence (AAAI-94),</I> AAAI/MIT Press, 1994. </LI>

<LI>Jeff W. Rickel. 1995. <B><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel-PhD-95.ps.Z">Automated
modeling of complex systems to answer prediction questions.</A></B> Doctoral
dissertation, Department of Computer Sciences, The University of Texas
at Austin. (Available as technical report AI95-234.) </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="MISQ"></A>MISQ </H3>

<UL>
<LI>Bradley L. Richards, Ina Kraan and Benjamin J. Kuipers. 1992. <B><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Richards+Kraan+Kuipers-aaai-92.ps.Z">Automatic
abduction of qualitative models.</A></B> <I>Proceedings of the National
Conference on Artificial Intelligence (AAAI-92)</I>, AAAI/MIT Press, 1992.
</LI>

<LI>S. Ramachandran, R. J. Mooney &amp; B. J. Kuipers. 1994. <B><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Ramachandran+Mooney+Kuipers-QR94.ps.Z">Learning
qualitative models for systems with multiple operating regions.</A></B>
In <I>Working Papers of the Eighth International Workshop on Qualitative
Reasoning about Physical Systems (QR-94)</I>, Nara, Japan. </LI>
</UL>

<P>
<HR></P>

<H2><A NAME="QR-Apps"></A>Applying Qualitative Reasoning </H2>

<P>
<HR></P>

<H3><A NAME="MIMIC"></A>Monitoring Continuous Systems </H3>

<UL>
<LI>Charles Perrow. 1984. <I>Normal Accidents: Living With High-Risk Technologies.</I>
New York: Basic Books. (This book motivates the MIMIC approach to system
monitoring.) </LI>

<LI>Daniel L. Dvorak. 1987. <B><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak-TR-AI-87-55.ps.Z">Expert
systems for monitoring and control.</A></B> University of Texas at Austin,
Artificial Intelligence Laboratory, Technical Report AI 87-55. (Literature
review.)</LI>

<LI>D. Dvorak &amp; B. J. Kuipers. 1989. <B><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak+Kuipers-ijcai-89.ps.Z">Model-based
monitoring of dynamic systems.</A></B> In <I>Proceedings of the Eleventh
International Joint Conference on Artificial Intelligence (IJCAI-89).</I>
Los Altos, CA: Morgan Kaufman. </LI>

<LI>Daniel Dvorak &amp; Benjamin Kuipers. 1991. <B><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak+Kuipers-ieeex-91.ps.Z">Process
monitoring and diagnosis: a model-based approach.</A></B> <I>IEEE EXPERT</I>
6(3): 67-74, June 1991. </LI>

<LI>Herbert Kay. 1991. <B><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-MA-91.ps.Z">Monitoring
and diagnosis of multitank flows using qualitative reasoning.</A></B> (Master's
thesis, Department of Computer Sciences, The University of Texas at Austin.)
</LI>

<LI>Daniel L. Dvorak. 1992. <B><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak-PhD-92.ps.Z">Monitoring
and diagnosis of continuous dynamic systems using semiquantitative simulation.</A></B>
University of Texas at Austin, Artificial Intelligence Laboratory, Technical
Report AI 92-170. (Doctoral dissertation, Department of Computer Sciences.)</LI>

<P>This report provides the definitive description of the MIMIC monitoring
system. </P>
</UL>

<P>
<HR></P>

<H3><A NAME="DX"></A>Diagnosis of Continuous Systems </H3>

<UL>
<LI>David Throop. 1991. <B><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Throop-PhD-91.ps.Z">Model-Based
Diagnosis of Complex, Continuous Mechanisms.</A></B> Doctoral dissertation,
Department of Computer Sciences, University of Texas at Austin, Austin,
Texas. August 1991. </LI>

<LI>Hwee Tou Ng. 1991. <B><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Ng-ieex-91.ps.Z">Model-based,
multiple fault diagnosis of time-varying, continuous physical devices.</A></B>
<I>IEEE Expert</I> 6(6): 38-43, December 1991. </LI>

<LI>Siddarth Subramanian and Raymond J. Mooney. 1994. <B><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><A HREF="file://ftp.cs.utexas.edu:/pub/mooney/papers/qdocs-dx94.ps.Z">Multiple-fault
diagnosis using general qualitative models with fault modes.</A></B> In
<I>Working Papers of the Fifth International Workshop on Principles of
Diagnosis</I>, 1994. </LI>

<LI>Siddarth Subramanian and Raymond J. Mooney. 1996. <B><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><A HREF="file://ftp.cs.utexas.edu:/pub/mooney/papers/qdocs-aaai-96.ps.Z">Qualitative
multiple-fault diagnosis of continuous dynamic systems using behavioral
modes.</A></B> In <I>Proceedings of the National Conference on Artificial
Intelligence (AAAI-96),</I> AAAI/MIT Press, 1996. </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="SS-RCS"></A>The Space Shuttle Reaction Control System (RCS)
</H3>

<P>The following models are steps toward building qualitative models of
large-scale, realistic, mechanisms. </P>

<UL>
<LI>Herbert Kay. 1992. <B><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-AITR92-188.ps.Z">A
qualitative model of the space shuttle reaction control system.</A></B>
University of Texas at Austin, Artificial Intelligence Laboratory Technical
Report AI92-188. </LI>

<LI>Takashi Watanabe and Benjamin Kuipers. 1994. <!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Takashi+Kuipers-draft-94.ps.Z"><B>Component
connection models of reaction control system.</B> </A>Manuscript, January
1994. </LI>

<P>This document presents a qualitative model of the Space Shuttle Reaction
Control System expressed within the component-connection ontology. The
model is based on the previous QSIM model developed by Herbert Kay [1992].
</P>
</UL>

<P>
<HR></P>

<H3><A NAME="Teleology"></A>Design, Purpose, and Teleological Reasoning
</H3>

<UL>
<LI>David W. Franke. 1989. <B>Representing and acquiring teleological descriptions.</B>
Model-Based Reasoning Workshop, IJCAI-89, Detroit, Michigan, August 1989.
</LI>

<LI>David W. Franke. 1991. <B>Deriving and using descriptions of purpose.</B>
<I>IEEE Expert,</I> April 1991, pp. 41-47. </LI>

<LI>David W. Franke. 1992. <B><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Franke-PhD-92.ps.Z">A
theory of teleology.</A></B> Doctoral dissertation, Computer Science Department,
University of Texas at Austin, May 1992. (Available as TR AI93-201.) </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="Spatial+Dynamic"></A>Integrating Spatial and Dynamic Reasoning
</H3>

<UL>
<LI>David Throop. 1989. <B>Spatial unification: qualitative spatial reasoning
about steady-state mechanisms. </B>University of Texas at Austin, Artificial
Intelligence Laboratory TR AI89-95, 1989. </LI>

<LI>Raman Rajagopalan and Benjamin Kuipers. 1994. <B><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan+Kuipers-CAIA94.ps.Z">Qualitative
spatial reasoning about objects in motion: application to physics problem
solving.</A></B> <I>Proceedings Tenth IEEE Conference on Artificial Intelligence
for Applications (CAIA-94)</I>, San Antonio, TX, March 1994. </LI>

<LI>Raman Rajagopalan. 1994. <B><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-AAAI94.ps.Z">A
model for integrated qualitative spatial and dynamic reasoning about physical
systems.</A></B> In <I>Proceedings of the National Conference on Artificial
Intelligence (AAAI-94),</I> AAAI/MIT Press, 1994. </LI>

<LI>Raman Rajagopalan. 1995. <B><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-PhD-95.ps.Z">Qualitative
reasoning about dynamic change in the spatial properties of a physical
system.</A></B> Doctoral dissertation, Department of Computer Sciences,
The University of Texas at Austin. (Available as TR AI95-241.) </LI>
</UL>

<H4>Qualitative Spatial Representation</H4>

<UL>
<LI>Rajagopalan, R. 1993. <B><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-GIS-wkshp93.ps.Z">A
model of spatial position based on extremal points.</A></B> <I>Proceedings
ACM Workshop on Advances in Geographic Information Systems</I>, Arlington,
VA, November 1993. <BR>
Discussion of representation for spatial reasoning. </LI>

<LI>Rajagopalan, R. 1994. <B><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-aaai94-spat-reas-wkshp.ps.Z">On
shape abstractions for qualitative spatial reasoning.</A></B> <I>Working
notes of the AAAI Workshop on Spatial and Temporal Reasoning</I>, AAAI-94,
Seattle, WA, 1994. <BR>
Further descriptions of spatial representation. Emphasis on comparison
with other methods. </LI>

<LI>Rajagopalan, R. and B. Kuipers. 1994. <B><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan+Kuipers-IEA-AIE94.ps.Z">The
Figure Understander: a system for integrating text and diagram input to
a knowledge base.</A></B> <I>Proceedings Seventh International Conference
on Industrial and Engineering Applications of Artificial Intelligence and
Expert Systems (IEA/AIE-94)</I>, Austin, TX, May 1994. <BR>
Details of implemented system for integrating graphical and text input
to a knowledge base. </LI>

<LI>Rajagopalan, R. 1994. <B><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-aaai94-NLP-vision-wkshp.ps.Z">Integrating
text and graphical input to a knowledge base</A></B>. <I>Working note of
the AAAI Workshop on Integration of Natural Language and Vision Processing</I>,
AAAI-94, Seattle, WA, 1994. <BR>
Further extensions of work on integrating diagrammatic and text input to
a knowledge base. </LI>

<LI>Raman Rajagopalan. 1995. <B><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-airev-95.ps.Z">Picture
Semantics for Integrating Text and Diagram Input</A></B>. <I>Artificial
Intelligence Review</I> <B>10</B>(3-4). Special issue on Integration of
Natural Language and Vision Processing, Recent Advances Volume. <BR>
</LI>
</UL>

<P>
<HR></P>

<H3><A NAME="HC"></A>Heterogeneous Control </H3>

<UL>
<LI>Benjamin Kuipers &amp; Karl Astrom. 1991. <B><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Astrom-acc-91.ps.Z">The
composition of heterogeneous control laws.</A></B> In <I>Proceedings of
the American Control Conference,</I> 1991, p.630-636. </LI>

<P><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><A HREF="http://www.cs.utexas.edu/users/qr/papers-hc.html">Abstract </A></P>

<P>Reprinted in Abraham Kandel &amp; Gideon Langholz (Eds.), <I>Fuzzy Control
Systems,</I> CRC Press, 1993, pp. 243-261. <BR>
Reprinted in R. R. Yager &amp; L. A. Zadeh (Eds.), <I>Fuzzy Sets, Neural
Networks and Soft Computing</I>, Van Nostrand Reinhold, New York, 1994,
pp. 45-62. </P>

<LI>B. J. Kuipers and K. Astrom. 1994. <B><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Astrom-automatica-94.ps.Z">The
composition and validation of heterogeneous control laws.</A></B> <I>Automatica</I>
30(2): 233--249. </LI>

<P><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><A HREF="http://www.cs.utexas.edu/users/qr/papers-hc.html">Abstract </A></P>
</UL>

<P>
<HR><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><A HREF="http://www.cs.utexas.edu/users/qr">[QR home]</A> </P>

<ADDRESS><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><A HREF="http://www.cs.utexas.edu/users/kuipers">BJK</A></ADDRESS>

</BODY>
</HTML>
